Pair-Dense Relation Algebras
نویسندگان
چکیده
منابع مشابه
Pair-dense Relation Algebras
The central result of this paper is that every pair-dense relation algebra is completely representable. A relation algebra is said to be pair-dense if every nonzero element below the identity contains a \pair". A pair is the relation algebraic analogue of a relation of the form fha; ai ; hb; big (with a = b allowed). In a simple pair-dense relation algebra, every pair is either a \point" (an al...
متن کاملThe structure of a pair of nilpotent Lie algebras
Assume that $(N,L)$, is a pair of finite dimensional nilpotent Lie algebras, in which $L$ is non-abelian and $N$ is an ideal in $L$ and also $mathcal{M}(N,L)$ is the Schur multiplier of the pair $(N,L)$. Motivated by characterization of the pairs $(N,L)$ of finite dimensional nilpotent Lie algebras by their Schur multipliers (Arabyani, et al. 2014) we prove some properties of a pair of nilpoten...
متن کاملPair algebras and Galois connections
Most studies of Galois connections begin with a function and ask the question: when is there a second function that is connected to the first? In possibly the very first application of Galois connections directly related to the modern digital computer, Hartmanis and Stearns posed a. subtly different question, namely: when does a relation define two functions that are Ga'!ois connected? Such a r...
متن کاملRelation algebras form cylindric algebras, II
We prove, for each 4 ≤ n < ω, that SRaCAn+1 cannot be defined, using only finitely many first-order axioms, relative to SRaCAn. The construction also shows that for 5 ≤ n < ω, SRaCAn is not finitely axiomatisable over RAn, and that for 3 ≤ m < n < ω, SNrmCAn+1 is not finitely axiomatisable over SNrmCAn. In consequence, for a certain standard n-variable first-order proof system `m,n of m-variabl...
متن کاملRelation algebras form cylindric algebras, I
We characterise the class SRaCAn of subalgebras of relation algebra reducts of ndimensional cylindric algebras (for finite n ≥ 5) by the notion of a ‘hyper-basis’, analogous to the cylindric basis of Maddux, and by relativised representations. A corollary is that SRaCAn = SRa(CAn ∩ Crsn) = SRa(CAn ∩ Gn). We outline a game-theoretic approximation to the existence of a representation, and how to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1991
ISSN: 0002-9947
DOI: 10.2307/2001878